Complexity Lower Bounds for Approximation Algebraic Computation Trees
نویسندگان
چکیده
We prove lower bounds for approximate computations of piecewise polynomial functions which, in particular, apply for round-oo computations of such functions. The goal of this paper is to prove lower bounds for approximated computations. As it is customary for lower bounds, we consider some form of algebraic tree as our computational model (cf. B urgisser, Clausen, and Shokrollahi 1996] or Blum, Cucker, Shub, and Smale 1998] for algebraic trees). But, unlike the usual proofs of lower bounds, which deal with decision problems, we will consider computations of real functions. That is, we consider trees computing functions f : IR n ! IR and, also unlike the usual results on lower bounds, we will allow for approximate computations. To understand the nature of our results let us look rst at an example.
منابع مشابه
Lower Bounds For Algebraic Computation Trees
A topological method is given for obtaining lower bounds for the height of algebraic computation trees, and algebraic decision trees. Using this method we are able to generalize, and present in a uniform and easy way, almost all the known nonlinear lower bounds for algebraic computations. Applying the method to decision trees we extend all the apparently known lower bounds for linear decision t...
متن کاملComplexity Lower Bounds for Computation Trees with Elementary Transcendental Function Gates
We consider computation trees which admit as gate functions along with the usual arithmetic operations also algebraic or transcendental functions like exp, log, sin, square root (defined in the relevant domains) or much more general, Pfaffian functions. A new method for proving lower bounds on the depth of these trees is developed which allows to prove a lower bound Ω( √ logN) for testing membe...
متن کاملTight Bounds using Hankel Matrix for Arithmetic Circuits with Unique Parse Trees
This paper studies lower bounds for arithmetic circuits computing (non-commutative) polynomials. Our conceptual contribution is an exact correspondence between circuits and weighted automata: algebraic branching programs are captured by weighted automata over words, and circuits with unique parse trees by weighted automata over trees. The key notion for understanding the minimisation question o...
متن کاملNearly Sharp Complexity Bounds for Multiprocessor Algebraic Computations
The complexity lower bound of (p log N) was obtained ((MP93],,M94]) for recognizing a semialgebraic set with N connected components by some parallel computational models, like the accepting network or the algebraic PRAM. It is unknown whether a parallel computation has an advantage versus its sequential counterpart for this sort of problems, i.e. whether it could recognize a semialgebraic set f...
متن کاملLower Bounds for Dynamic Algebraic Problems
We consider dynamic evaluation of algebraic functions (matrix multiplication, determinant, convolution, Fourier transform, etc.) in the model of Reif and Tate; i.e., if f(x1, . . . , xn) = (y1, . . . , ym) is an algebraic problem, we consider serving on-line requests of the form “change input xi to value v” or “what is the value of output yi?”. We present techniques for showing lower bounds on ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Complexity
دوره 15 شماره
صفحات -
تاریخ انتشار 1999